Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
81	Part I: Introduction Part II: Solution The complexity of Sur-Hom(C∗4 ) Barnaby Martin and Dan¨ıel Paulusma Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-09-12 12:52:00 Mathematics Morphisms Complexity classes Graph theory Mathematical logic Structure Universal algebra NP-completeness Graph homomorphism Bipartite graph Homomorphism NP
82	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Graph theory Mathematics Mathematical logic Graph Parallel computing Sequent Algorithm Logic Academia
83	Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UK Add to Reading List Source URL: fct2013.csc.liv.ac.uk Language: English - Date: 2013-06-20 05:30:29 Mathematics Theoretical computer science Mathematical logic Fibonacci number LRS Algebraic geometry Thoralf Skolem Quantum computing
84	CS264: Homework #1 Due by the beginning of class on Wednesday, October 1, 2014 Instructions: (1) Form a group of 1-3 students. You should turn in only one write-up for your entire group. (2) Turn in your solutions at htt Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-09-29 11:39:15 Computational complexity theory Mathematics Applied mathematics Packing problems Operations research Algorithm Mathematical logic Theoretical computer science Online algorithm Bin packing problem Sorting algorithm Knapsack problem
85	SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:48 Mathematical logic Mathematics Logic Boolean algebra Predicate logic Relational operator Predicate Boolean data type Algebra of sets Subset Equality Logical disjunction
86	APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 32, Number 2, April 1995, PagesFAMILIES OF CURVES AND WEIGHT DISTRIBUTIONS OF CODES Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2002-11-22 18:02:17 Mathematics Abstract algebra Algebra Finite fields Group theory Elliptic curves Number theory Analytic number theory Supersingular elliptic curve Combinatory logic Algebraic curve BCH code
87	Part 2: First-Order Logic 2.1 Syntax 2.2 Semantics 2.3 Models, Validity, Satisfiability 2.4 Algorithmic problems 2.5 Normal forms and Skolemization Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2009-06-05 11:15:41 Logic Mathematical logic Mathematics Automated theorem proving Propositional calculus Rules of inference Resolution Boolean algebra Literal First-order logic SLD resolution Horn clause
88	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
89	CS61c: Representations of Combinational Logic Circuits J. Wawrzynek October 12, 2007 1 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2007-10-14 23:24:26 Logic gates Mathematics Mathematical logic Algebra Boolean algebra Logic in computer science Algebraic logic Circuit complexity Canonical normal form Combinational logic XOR gate Digital electronics
90	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: www.emnlp2015.org Language: English - Date: 2015-12-05 04:22:39 Logic Mathematical logic Mathematics Predicate logic Type theory Logic in computer science Combinatory categorial grammar Combinatory logic Quantifier Lambda calculus Parsing Free variables and bound variables